Well-Typed.Com: Case Study: Debugging a Haskell space leak
well-typed.comยท20h
๐Ÿ“šStack Allocation
Flag this post
Never Forget a Thing: Building AI Agents with Hybrid Memory Using Strands Agents
dev.toยท9hยท
Discuss: DEV
๐Ÿ”„Subinterpreters
Flag this post
No Cap, This Memory Slaps: Breaking Through the OLTP Memory Wall
danglingpointers.substack.comยท1dยท
Discuss: Substack
๐Ÿง Memory Models
Flag this post
Myths Programmers Believe about CPU Caches
software.rajivprab.comยท19hยท
Discuss: Hacker News
๐Ÿง Memory Models
Flag this post
StreetMath: Study of LLMs' Approximation Behaviors
arxiv.orgยท16h
๐ŸŒฑMinimal ML
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
dl.acm.orgยท1dยท
๐Ÿ”’Rust Borrowing
Flag this post
Advanced Threat Protection (ATP): An Ultimate Guide for Modern SOCs
vmray.comยท5h
๐Ÿ›ก๏ธSecurity Type Systems
Flag this post
TinyML is the most impressive piece of software you can run on any ESP32
xda-developers.comยท10h
๐Ÿ’ฌSmalltalk VMs
Flag this post
wastrel, a profligate implementation of webassembly
wingolog.orgยท21hยท
๐ŸŒWASM Runtimes
Flag this post
Challenging the Fastest OSS Workflow Engine
obeli.skยท11hยท
๐Ÿ“กErlang BEAM
Flag this post
Java Generics and Collections โ€ข Maurice Naftalin & Stuart Marks โ€ข GOTO 2025
youtube.comยท1d
๐Ÿ”—Go Generics
Flag this post
Advances In Formal Verification Technology
semiengineering.comยท1d
๐ŸงฉSAT Solvers
Flag this post
Minimal Sufficiency: A Principle โ€˜Similarโ€™ to End-to-End
cacm.acm.orgยท1hยท
Discuss: Hacker News
๐Ÿ“กProtocol Stacks
Flag this post
Getting Hardware for an "Always On" Server/Node
stacker.newsยท10h
๐ŸฐCapability Machines
Flag this post
About writing control systems in C
reddit.comยท1hยท
Discuss: r/embedded
๐Ÿ”€Control Structures
Flag this post
LPE via refcount imbalance in the af_Unix of Ubuntu's Kernel
ssd-disclosure.comยท2dยท
Discuss: Hacker News
๐Ÿท๏ธMemory Tagging
Flag this post
A hitchhiker's guide to CUDA programming
seanzhang.meยท1dยท
Discuss: Hacker News
๐Ÿ”€SIMD Programming
Flag this post
Show HN: Fast-posit, sw implementation of posit arithmetic in Rust
github.comยท1dยท
Discuss: Hacker News
๐Ÿ”—Borrowing Extensions
Flag this post
Interfacing assembly with BASIC via DEFUSR, part 7
subethasoftware.comยท1d
โš™๏ธAssembly
Flag this post
Accelerating AI inferencing with external KV Cache on Managed Lustre
cloud.google.comยท4h
โšกCache-Aware Algorithms
Flag this post